Andre Scedrov: tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (9)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Categories in Computer Science and Logic

Categories in Computer Science and Logic

Amer Mathematical Society

John W. Gray, Andre Scedrov

Godina:

1989

Jezik:

english

Fajl:

PDF, 42.66 MB

0 / 0

english, 1989

2

Freyds Models for the Independence of the Axiom of Choice

Freyds Models for the Independence of the Axiom of Choice

Amer Mathematical Society

Andreas Blass, Andre Scedrov

Godina:

1989

Jezik:

english

Fajl:

DJVU, 1.61 MB

0 / 0

english, 1989

3

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Godina:

1990

Jezik:

english

Fajl:

DJVU, 1.01 MB

0 / 0

english, 1990

4

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)

Godina:

2004

Jezik:

english

Fajl:

PDF, 6.72 MB

0 / 0

english, 2004

5

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)

Godina:

2004

Jezik:

english

Fajl:

PDF, 4.00 MB

0 / 0

english, 2004

6

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Springer International Publishing

Vladimir Itsykson, Andre Scedrov, Victor Zakharov (eds.)

Godina:

2018

Jezik:

english

Fajl:

PDF, 15.10 MB

0 / 0

english, 2018

7

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 7.27 MB

0 / 0

english, 2003

8

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 5.41 MB

0 / 0

english, 2003

9

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)

Godina:

2004

Jezik:

english

Fajl:

PDF, 9.21 MB

0 / 0

english, 2004